Programmazione in Elixir : Il paradigma funzionale: Trasformazione invece di Mutazione

Il paradigma funzionale sposta il modello mentale dello sviluppatore da "aggiornare una scatola con stato" a applicare trasformazioni matematiche a valori immutabili. In Elixir, i dati non vengono mai modificati; vengono semplicemente rigenerati in nuove forme.

1. L'affermazione matematica

Quando scrivi $x = a + 1$, non stai assegnando un risultato a una variabile. Invece, stai semplicemente affermando che le espressioni $x$ e $a + 1$ hanno lo stesso valore. Questo riflette la logica algebrica in cui $x$ rappresenta un valore fisso in un contesto specifico.

2. Immutabilità come garanzia

In Elixir, tutti i valori sono immutabili. I dati non possono essere modificati una volta creati. Questo elimina gli "effetti collaterali" in cui una funzione potrebbe modificare inaspettatamente una variabile globale o un oggetto passato, garantendo che il codice sia prevedibile e sicuro per il threading.

3. Trasformazione vs. Mutazione

Non modifichiamo mai i dati sul posto. Elixir non ha l'assegnazione; invece, cerca di corrispondere i valori ai pattern. Per "modificare" un valore, passiamo i dati originali attraverso una funzione per produrre una versione completamente nuova.

iex> name = "elixir"
"elixir"
iex> cap_name = String.capitalize name
"Elixir"
iex> name
"elixir" (Ancora intatto!)

TERMINALbash — 80x24

> Ready. Click "Run" to execute.

QUESTION 1

In Elixir, what does the expression x = a + 1 represent?

A command to allocate a new memory box for x.

An assertion that x and a + 1 have the same value.

A mutable assignment operator.

A way to delete the previous value of a.

QUESTION 2

What is the result of name after executing cap_name = String.capitalize(name)?

The value of 'name' is updated to start with a capital letter.

The 'name' variable is deleted from memory.

The value of 'name' remains exactly as it was originally created.

An error occurs because you cannot re-use 'name'.

QUESTION 3

Which of these statements is a core Logic Rule of Elixir?

Data should be modified in place for performance.

All values are immutable.

Variables are global by default.

Strings can be appended to directly.

QUESTION 4

Why is immutability beneficial for concurrent programming?

It requires more RAM, which makes systems faster.

It allows multiple threads to change data simultaneously.

It eliminates race conditions because data cannot be changed under your feet.

It automatically recompiles the code.

QUESTION 5

What happens in Snippet 2: array = [1,2,3]; do_something_with(array); print(array)?

The output is guaranteed to be [1,2,3].

The output depends on what do_something_with does.

The output will be empty if the function sorted the list.

The array is cleared from memory.